Open Theories, Consistency and Related Results in Fuzzy Logic Int. J. of Approximate Reasoning 1997
نویسنده
چکیده
The paper deals with fuzzy logic in narrow sense of Lukasiewicz style, i.e. a special kind of many-valued logic which is aimed at modeling of vagueness phenomenon. This logic is a generalization of Lukasiewicz logic with many interesting properties (for example, generalization of the deduction and completeness theorems hold in it). Our aim is to prepare the background for the resolution in fuzzy logic. We prove an analogue of the classical Herbrand theorem as well as some other related theorems which are interesting also for the theory of approximate reasoning. The possible applications and consequences for the latter are also discussed.
منابع مشابه
Open theories, consistency and related results in fuzzy logic
The paper deals with fuzzy logic in the narrow sense of Lukasiewicz style, i.e. a special kind of many-valued logic which is aimed at modeling of vagueness phenomenon. This logic is a generalization of Lukasiewicz logic with many interesting properties (for example, generalization of the deduction and completeness theorems hold in it). Our aim is to prepare the background for the resolution in ...
متن کاملA three-stage evolutionary process for learning descriptive and approximate fuzzy-logic-controller knowledge bases from examples
Nowadays Fuzzy Logic Controllers have been succesfully applied to a wide range of engineering control processes. Several tasks have to be performed in order to design an intelligent control system of this kind for a concrete application. One of the most important and diicult ones is the extraction of the expert known knowledge of the controlled system. The aim of this paper is to present an evo...
متن کاملFuzzy Logic in KNIME - Modules for Approximate Reasoning -
In this paper we describe the open source data analytics platform KNIME, focusing particularly on extensions and modules supporting fuzzy sets and fuzzy learning algorithms such as fuzzy clustering algorithms, rule induction methods, and interactive clustering tools. In addition we outline a number of experimental extensions, which are not yet part of the open source release and present two ill...
متن کاملA modal account of similarity-based reasoning
One of the goals of a variety of approximate reasoning models is to cope with inference patterns more flexible than those of classical reasoning. Among them, similarity-based reasoning aims at modeling notions of resemblance or proximity among propositions and consequence relations which make sense in such a setting. One way of proceeding is to. equip the set of interpretations or possible worl...
متن کاملConsistency reasoning in lattice-based fuzzy Description Logics
Fuzzy Description Logics have been widely studied as a formalism for representing and reasoning withvague knowledge. One of the most basic reasoning tasks in (fuzzy) Description Logics is to decide whetheran ontology representing a knowledge domain is consistent. Surprisingly, not much is known about thecomplexity of this problem for semantics based on complete De Morgan lattices. T...
متن کامل